Exercise 4-66

Check that the proposed unit and counits do obey the snake equations.

Solution(0)

TODO